Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
481	Perspectives in Logic ASL Order Form Perspectives in Mathematical Logic was initiated in 1969 by the Omega Group. Initially it was supported by a grant from the Stiftung Volkswagenwerk and appeared under the auspices of Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2010-07-13 12:44:32 Science Association for Symbolic Logic Mathematical logic Model theory Logic Philosophy Philosophical logic
482	Concurrency Makes Simple Theories Hard Stefan Göller1 and Anthony Widjaja Lin2 1 2 Fachbereich Informatik, University of Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2012-02-03 05:33:40 Mathematics Theory Structure Regular language Model theory Logic Metalogic
483	Microsoft Word - FINAL FINAL TCP 2010-buildOn-ETACK.doc Add to Reading List Source URL: www.buildon.org Language: English - Date: 2014-08-01 11:51:46 Science BuildOn Impact assessment Logic model Impact evaluation After-school activity Youth program Evaluation methods Evaluation Education
484	1 ABDUCTION: BETWEEN CONCEPTUAL RICHNESS AND COMPUTATIONAL COMPLEXITY Stathis Psillos Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2011-12-02 03:22:10 Philosophy of science Reasoning Epistemology Critical thinking Scientific method Abductive reasoning Inductive reasoning Inquiry Deductive-nomological model Science Logic Knowledge
485	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
486	Microsoft Word - U006_eikos_language_system_description_v2.doc Add to Reading List Source URL: ucadia.s3.amazonaws.com Language: English - Date: 2009-07-17 01:52:31 Science Predicate logic Axiom Model theory Eikos Mathematical logic Function Claim Mereology Mathematics Logic Patent law
487	An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email: Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Mathematical logic Theoretical computer science Tree automaton Tree Linear temporal logic First-order logic Finite-state machine Context-free grammar T-tree Automata theory Mathematics Formal languages
488	Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2012-08-27 11:06:28 Philosophical logic Metalogic Non-classical logic Deduction Model theory Hybrid logic Entailment FO Temporal logic Logic Mathematical logic Modal logic
489	A Comparison of Succinctly Represented Finite-state Systems ⋆ Romain Brenguier1 , Stefan G¨oller2 , and Ocan Sankur1 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2012-09-12 07:18:02 Logic in computer science Model theory Mathematics Automata theory Computer science Theoretical computer science Applied mathematics Bisimulation
490	PDF Document Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-28 04:36:13 Statistical models Statistical theory Bayesian network Probabilistic logic Bayesian inference Graphical model Normal distribution Randomized algorithm Confidence interval Statistics Bayesian statistics Statistical inference

UPDATE